obvious (Reader g) = Just (g ())